IMAPP MATHEMATICS RADBOUD UNIVERSITY NIJMEGEN The Netherlands Better paths for elliptic curve primality proofs

Source URL: www.math.ru.nl

• Mathematics
• Primality tests
• Number theory
• Abstract algebra
• Finite fields
• Analytic number theory
• Elliptic curve primality
• Group theory
• Modular arithmetic
• Elliptic curve
• Primality certificate
• AKS primality test

Radboud University Nijmegen FNWI-iCIS/DS P.O. BoxGL Nijmegen The Netherlands Tel. +

Source URL: summerschool-croatia14.cs.ru.nl

Verification of Hybrid Systems in Coq H. Geuvers, A. Koprowski, D. Synek, E. van der Weegen BRICKS AFM4 Advancing the Real use of Proof Assistants Foundations group, Intelligent Systems, ICIS Radboud University Nijmegen

Source URL: www.cs.ru.nl

• Functional languages
• Type theory
• Automated theorem proving
• Hybrid automaton
• Numerical analysis
• Proof assistant
• Coq
• Verification
• OCaml
• Model checking
• Discretization

Inductive and Coinductive Data Types in Typed Lambda Calculus Revisited Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology

Source URL: www.cs.ru.nl

• Type theory
• Computability theory
• Functional programming
• Theoretical computer science
• Recursion
• Initial algebra
• Lambda calculus
• Primitive recursive function
• Inductive type
• Catamorphism
• F-algebra

Pure Type Systems revisited Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology The Netherlands

Source URL: www.cs.ru.nl

• Lambda calculus
• Type theory
• Combinatory logic
• Pure type system
• Lambda cube
• Fixed-point combinator
• Calculus of constructions
• Explicit substitution
• Natural deduction

Using Trusted Execution Environments in Two-factor Authentication: comparing approaches Roland van Rijswijk-Deij1,2 and Erik Poll1 1 Radboud University Nijmegen, The Netherlands

Source URL: wwwhome.ewi.utwente.nl

The Fall of a Tiny Star Flavio D. Garcia and Bart Jacobs Institute for Computing and Information Sciences, Digital Security Group, Radboud University Nijmegen. P.O. Box 9010, NL-6500 GL Nijmegen, The Netherlands. www.cs.

Source URL: www.proxmark.org

BliStr: The Blind Strategymaker Josef Urban Radboud University Nijmegen June 18, 2014

Source URL: cs.ru.nl

Filling in the afterimage after the image Rob van Lier & Mark Vergeer Nijmegen Institute for Cognition and Information, Radboud University Nijmegen, The Netherlands We have constructed a stimulus with a black central ar

Source URL: illusionoftheyear.com

Adaptive Multi-class classification for Brain Computer Interfaces 1. A. Llera, V. G´omez, H. J. Kappen Donders Institute for Brain, Cognition and Behaviour Radboud University Nijmegen, the Netherlands. a.llera@donders.r

Source URL: www.mbfys.ru.nl